A case study in specifying and testing architectural features
نویسندگان
چکیده
منابع مشابه
A case study in specifying and testing architectural features
This paper studies the speci cation and testing of two main architectural features. We consider restricted forms of instruction pipelining and parallel memory models present in the SPARC speci cation. The feasibility of using an automatic tool, the concurrency work bench, has been demonstrated.
متن کاملassessing political stability and instability in central asia and caucasus; case study, azerbaijan and kyrgyzstan
منطقه ی آسیای مرکزی وقفقاز به عنوان منطقه ای تاریخی و به دلیل دارا بودن ذخایر عظیم هیدرو کربنی از اهمیت ویژه ای برخوردار است. کشورهای این منطقه از عوامل عمده ی بی ثباتی نظیر عوامل جغرافیایی، اقتصادی، امنیتی، اجتماعی و سیاسی رنج می برند. پس از فروپاشی اتحاد جماهیر شوروی کشورهای منطقه از نعمت استقلال ناخواسته ای برخوردار شدند که مشکلات فوق را برای آن ها چندین برابر می کرد. در این روند برخی از این...
15 صفحه اولArchitectural Unit Testing in a Robot Teleoperation Case Study
A formal testing methodology is outlined in this paper, that proves applicable to validation of architectural units in object-oriented models, and its use is illustrated in the context of the design of a robot teleoperation architecture. Automated generation of test cases to validate the functionality of the robot trajectory generation unit showcases the key features of this methodology. A disc...
متن کاملfeatures of short story in translated and non-translated literature: a polysystemic perspective
ترجمه متون ادبی در دنیای امروز از اهمیت ویژه ای برخوردار است. فرهنگ های مختلف با استفاده از متون ادبی ملل و فرهنگ های دیگر سعی در غنی کردن فرهنگ و ادبیات کشور خود دارند. کشور ما نیز از این قاعده مستثنی نیست. در ایران، ترجمه متون ادبی اروپائی که با دوران مشروطه ایرانی آغاز می شود موجب تغییرات اساسی در فرهنگ، شیوه زندگی و تفکر ایرانیان شده است. در این دوران نه تنها در امورات سیاسی و فکری کشور تغی...
15 صفحه اولa case study of the two translators of the holy quran: tahereh saffarzadeh and laleh bakhtiar
بطورکلی، کتاب های مقدسی همچون قران کریم را خوانندگان میتوان مطابق با پیش زمینه های مختلفی که درند درک کنند. محقق تلاش کرده نقش پیش زمینه اجتماعی-فرهنگی را روی ایدئولوژی های مترجمین زن و در نتیجه تاثیراتش را روی خواندن و ترجمه آیات قرآن کریم بررسی کند و ببیند که آیا تفاوت های واژگانی عمده ای میان این مترجمین وجود دارد یا نه. به این منظور، ترجمه 24 آیه از آیات قرآن کریم مورد بررسی مقایسه ای قرار ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Microprocessors and Microsystems
سال: 1994
ISSN: 0141-9331
DOI: 10.1016/0141-9331(94)90109-0